Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
441	Automating Leibniz’s Theory of Concepts Automating Leibniz’s Theory of Concepts∗ Jesse Alama Vienna University of Technology Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2015-07-25 19:15:29 Logic Philosophy Mathematics Category theory Model theory Functions and mappings Universal property Saul Kripke First-order logic Sheaf Function Substitution
442	Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2014-06-19 17:23:20 Computability theory Mathematical logic Model theory Structure Universal algebra Reduction Symbol Sigma-algebra Decomposition of spectrum
443	A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2015-11-04 16:38:45 Model theory Logic in computer science Separation logic Substructural logic Structure Elementary class Substitution
444	J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:33:25 Algebra Mathematics Abstract algebra Universal algebra Mathematical structures Mathematical logic Algebraic structures Magma Sigma-algebra Structure F-algebra Model theory
445	Paul E. Oppenheimer and Edward N. ZaltaIntroduction Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:20:02 Model theory Arguments for the existence of God Ontological argument Prover9 First-order logic Argument Interpretation
446	Increasing the Number & Quality of Jewish Educators Logic Model Overview Add to Reading List Source URL: jimjosephfoundation.org Language: English - Date: 2014-12-23 19:44:37
447	A Generalization of St˚ almarck’s Method⋆ Aditya Thakur1 and Thomas Reps1,2⋆⋆ 1 University of Wisconsin; Madison, WI, USA Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-09-06 17:53:27 Logic Mathematics Mathematical logic Boolean algebra Propositional calculus Model theory Propositions Propositional formula Interpretation Tautology Distributive property Closure
448	A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien Add to Reading List Source URL: icst2015.ist.tu-graz.ac.at Language: English - Date: 2015-05-13 03:57:02 Formal methods Logic in computer science Software engineering Helmut Veith Computer science Computer programming Debugging Veith Formal verification Turing Award Assertion Model checking
449	Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2010-07-23 11:18:02 Logic programming Answer set programming ASCII Coala Linear temporal logic Stable model semantics
450	On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48 Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV

UPDATE